Finite automata

Results: 673



#Item
51Formal languages / Finite automata / Finite-state transducer / Regular language / Finite-state machine / Regular expression / Deterministic automaton / Alphabet / Induction of regular languages / Star height

Regular Expressions and Finite-State Automata Overview

Add to Reading List

Source URL: cl.indiana.edu

Language: English - Date: 2016-01-06 12:55:41
52Formal languages / Theoretical computer science / Theory of computation / Computability theory / Models of computation / Computability / Automata theory / Introduction to the Theory of Computation / Turing machine / Super-recursive algorithm / Algorithm / Finite-state machine

Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: *from the Registrar

Add to Reading List

Source URL: atakangunal.com

Language: English - Date: 2014-10-22 13:26:26
53Finite automata / Theoretical computer science / Formal languages / Infographics / Linear temporal logic / Temporal logic / Finite-state machine / Diagram / Sequence / Formal verification / Automata theory / Bchi automaton

Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA)

Add to Reading List

Source URL: web.cs.wpi.edu

Language: English - Date: 2005-05-29 14:49:51
54Cybernetics / Mathematical optimization / Genetic algorithms / Heightmap / Procedural generation / Scenery generator / Evolutionary algorithm / Cellular automaton / Fitness landscape / Fitness function / Genetic programming / Finite-state machine

Landscape Automata for Search Based Procedural Content Generation. Daniel Ashlock and Cameron McGuinness Abstract—This study introduces a new representation landscape automata for encoding heightmaps that may be used f

Add to Reading List

Source URL: eldar.mathstat.uoguelph.ca

Language: English - Date: 2016-07-12 12:05:04
55Finite automata / Model checking

Introduction Monitoring Procedure Experiments Conclusion Rewrite-Based Statistical Model Checking of

Add to Reading List

Source URL: rv2012.ku.edu.tr

Language: English - Date: 2012-10-04 10:59:33
56Finite automata / Regular language / Donald Knuth / Maths24 / Westgate FC / American football in Japan

Monadic Quantifiers Recognized by Deterministic Pushdown Automata: Corrigendum (January 1, 2014) Makoto Kanazawa National Institute of Informatics, Tokyo, Japan

Add to Reading List

Source URL: research.nii.ac.jp

Language: English - Date: 2014-01-01 07:43:26
57Finite automata / Control theory / Finite-state transducer / Index of standards articles

Automata Mista G´erard Huet INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France, , http://pauillac.inria.fr/~huet

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2005-02-18 11:56:22
58Biological databases / Finite automata / Trie / Database / PubMed / Internet search engines

Seaform: Search-As-You-Type in Forms Hao Wu † Guoliang Li ‡ Chen Li §

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2010-09-22 03:53:30
59

Course Syllabus: CS 150: The Theory of Automata and Formal Languages Winter, 2016 Course Description: The course introduces some fundamental concepts in automata theory and formal languages including grammar, finite auto

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2016-01-11 17:41:16
    60Finite automata / Software engineering / Computer programming / Software / Nondeterministic finite automaton / Automata theory / Finite-state machine / Lex / Regular expression / Macro / Pattern matching

    RAPID Programming of Pattern-Recognition Processors Kevin Angstadt Westley Weimer Kevin Skadron

    Add to Reading List

    Source URL: cap.virginia.edu

    Language: English - Date: 2016-03-20 10:07:40
    UPDATE